The above examples demonstrate the compositional semantics of CSP& namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components. 以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。
In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine. 最后,用Plotkin风格的结构操作语义SOS(structuraloperationalsemantics)规则归纳地给出满足组合性的UML状态机语义。